Section: New Software and Platforms

DAGGER

Keywords: Graph algorithmics - Logic programming

Functional Description: We introduce DAGGER: a generator for logic based argumentation frameworks instantiated from inconsistent knowledge bases expressed using Datalog. The tool allows to import a knowledge base in DLGP format and the generation and visualisation of the corresponding argumentation graph. Furthermore, the argumentation framework can also be exported in the Aspartix format.

• Contact: Madalina Croitoru

• URL: http://www.lirmm.fr/~yun/tools.html